- LNCS832
- -E. Börger/Y. Gurevich/K. Meinke (Eds.): Computer Science Logic. Proceedings 1993, Springer-Verlag 1994
Acronyms von A bis Z. 2013.
Acronyms von A bis Z. 2013.
LNCS832 — E. Börger/Y. Gurevich/K. Meinke (Eds.): Computer Science Logic. Proceedings 1993, Springer Verlag 1994 … Acronyms